https://www.passeidireto.com/pergunta/137993113/i-pelo-uso-da-hipotese-de-inducao-com-n-k-e-k-0-a-seguinte-expressao-intermediar